1

Undefinability of truth. the problem of priority:tarski vs gödel

Year:
1998
Language:
english
File:
PDF, 447 KB
english, 1998
2

Mathematics and Theology in the Thought of Nicholas of Cusa

Year:
2019
Language:
english
File:
PDF, 245 KB
english, 2019
4

Philosophical reflection on mathematics in Poland in the interwar period

Year:
2004
Language:
english
File:
PDF, 201 KB
english, 2004
5

Cracow Circle and Its Philosophy of Logic and Mathematics

Year:
2015
Language:
english
File:
PDF, 244 KB
english, 2015
6

Some More Remarks on Expandability of Initial Segments

Year:
1986
Language:
english
File:
PDF, 340 KB
english, 1986
7

Stanisław Piątkiewicz and the Beginnings of Mathematical Logic in Poland

Year:
1996
Language:
english
File:
PDF, 116 KB
english, 1996
8

Books received

Year:
1995
Language:
english
File:
PDF, 694 KB
english, 1995
9

Definable sets and expansions of models of Peano arithmetic

Year:
1988
Language:
english
File:
PDF, 700 KB
english, 1988
10

Benedykt Bornstein’s Philosophy of Logic and Mathematics

Year:
2014
Language:
english
File:
PDF, 190 KB
english, 2014
11

The Development of Symbolism in Logic and Its Philosophical Background

Year:
1988-1989
Language:
english
File:
PDF, 356 KB
english, 1988-1989
13

Philosophie der Mathematik () || 1. Auf dem Weg zu den reellen Zahlen

Year:
2015
Language:
german
File:
PDF, 379 KB
german, 2015
14

On Expandability of Models of Peano Arithmetic. III

Year:
1977
Language:
english
File:
PDF, 882 KB
english, 1977
15

On Expandability of Models of Peano Arithmetic. II

Year:
1976
Language:
english
File:
PDF, 1.27 MB
english, 1976
17

On Expandability of Models of Peano Arithmetic. I

Year:
1976
Language:
english
File:
PDF, 1.23 MB
english, 1976
20

Some Remarks on the Structure of Expansions

Year:
1980
Language:
english
File:
PDF, 593 KB
english, 1980
21

TRACE EXPANSIONS OF INITIAL SEGMENTS

Year:
1984
Language:
english
File:
PDF, 379 KB
english, 1984
22

Some Properties of the Family of Expansions to Models of A/Δ + Σ-AC

Year:
1991
Language:
english
File:
PDF, 541 KB
english, 1991
23

ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

Year:
1992
Language:
english
File:
PDF, 1.37 MB
english, 1992
25

A note on the variety of satisfaction classes

Year:
1990
Language:
english
File:
PDF, 404 KB
english, 1990
26

On expandability of models of Peano arithmetic. III

Year:
1977
Language:
english
File:
PDF, 349 KB
english, 1977
27

A correction to the paper “On expandability of models of Peano arithmetic. I”

Year:
1977
Language:
english
File:
PDF, 41 KB
english, 1977
28

On expandability of models of Peano arithmetic. II

Year:
1976
Language:
english
File:
PDF, 584 KB
english, 1976
29

On expandability of models of Peano arithmetic. I

Year:
1976
Language:
english
File:
PDF, 562 KB
english, 1976
30

Reviews

Year:
1975
Language:
english
File:
PDF, 1.15 MB
english, 1975
31

Books received

Year:
1989
Language:
english
File:
PDF, 613 KB
english, 1989
32

Philosophy of Mathematics in the Warsaw Mathematical School

Year:
2010
Language:
english
File:
PDF, 188 KB
english, 2010
33

Gödel's Incompleteness Theorems and Computer Science

Year:
1997
File:
PDF, 511 KB
1997
34

Reverse Mathematik und ihre Bedeutung

Year:
1993
Language:
german
File:
PDF, 789 KB
german, 1993
35

Recursive Functions and Metamathematics ||

Year:
1999
Language:
english
File:
PDF, 29.04 MB
english, 1999
39

Reviews

Year:
1995
Language:
english
File:
PDF, 200 KB
english, 1995
40

Reviews

Year:
1995
Language:
english
File:
PDF, 135 KB
english, 1995
41

Reviews

Year:
1996
Language:
english
File:
PDF, 135 KB
english, 1996
42

Philosophie der Mathematik () || Personenverzeichnis

Year:
2015
Language:
german
File:
PDF, 68 KB
german, 2015
43

Philosophie der Mathematik () || Vorwort zur 3. Auflage

Year:
2015
Language:
german
File:
PDF, 74 KB
german, 2015
44

Philosophie der Mathematik () || 5. Axiomatik und Logik

Year:
2015
Language:
german
File:
PDF, 396 KB
german, 2015
45

Philosophie der Mathematik () || 4. Mengen und Mengenlehren

Year:
2015
Language:
german
File:
PDF, 328 KB
german, 2015
46

Philosophie der Mathematik () || Backmatter

Year:
2015
File:
PDF, 98 KB
2015
47

Philosophie der Mathematik () || Begriffsverzeichnis

Year:
2015
Language:
german
File:
PDF, 87 KB
german, 2015
48

Philosophie der Mathematik () || Literaturverzeichnis

Year:
2015
Language:
german
File:
PDF, 144 KB
german, 2015
49

Philosophie der Mathematik () || Vorwort zur 2. Auflage

Year:
2015
Language:
german
File:
PDF, 75 KB
german, 2015
50

Philosophie der Mathematik () || 6. Rückblick

Year:
2015
Language:
german
File:
PDF, 134 KB
german, 2015